| Name | Format | # Pages | Size | Date |
|---|---|---|---|---|
| gnushell.dvi | Device Independent File | 17 | 39KB | 1995-11-25 |
| libcard.dvi | Device Independent File | 12 | 102KB | 1995-11-25 |
| varcard.dvi | Device Independent File | 10 | 97KB | 1995-11-25 |
| Unknown | ||||
| Name | Format | Size | Date | |
|---|---|---|---|---|
| gcc_st.dvi | Unknown | 193KB | 1995-11-25 | |